package global;

import java.awt.*;
import java.util.ArrayList;

/**
 * 这个类是打开的工程文件夹的数据
 */
public class ProjectData {


    public static Toolkit toolkit = Toolkit.getDefaultToolkit();

    public static Theme theme = new Theme();

    public static ArrayList<String> mono_fonts = new ArrayList<>();

    /**
     * @variable contentPaneFixedHeightError
     * 各位开发者注意，此值在不同平台下不同
     * 因为JFrame中的contentpane高度会多出一些
     * 所以要定义一个这个变量来调整getHeight返回的高度。
     * 具体测试这个值的方法是：
     * BadEditor类中，将componentResized方法的语句注释掉，
     * 运行并调整窗口高度，直至正好显示出边缘。
     * linux kde plasma: 29
     * windows: 我之前记得是20，不对的话来改一下
     */
    static String os = System.getProperties().getProperty("os.name");
    public final static int contentPaneFixedHeightError = os.equals("Linux") ? 29 : (os.equals("Windows") ? 20 : 0);

    public final static String splitingTokens = " ,./<>?;':\"{[]\\{}|`-=~!@#$%^&*()_+\t\n";

    //这是一个没用的变量，用来接收各种不必要的值
    public static int dummy = 0;

    public static String projectDir = os.equals("Linux")?("/home/pointer-to-bios/Random World Studio/Projects/BadEditor/badeditor-java/"):(".");

}
